関数的プログラミング⑥ 理論的基礎 コンビネータとFFP